Dynamic Description Logic: Embracing Actions into Description Logic
نویسندگان
چکیده
We present a dynamic description logic D-ALCO@ for representing knowledge about dynamic application domains. D-ALCO@ is a combination of a typical action theory and the description logic ALCO@, in such a way that actions are treated as citizens of the logic. Actions of D-ALCO@ are explicitly specified with the help of formulas, and are then used in the construction of concepts and formulas. Based on a regression operator introduced to deal with actions, we provide a tableau-based decision algorithm for this logic.
منابع مشابه
An Extension of Distributed Dynamic Description Logics for the Representation of Heterogeneous Mappings
As a family of dynamic description logics, DDL(X) is constructed by embracing actions into the description logic X, where X represents well-studied description logics ranging from the ALC to the SHOIQ. To efficiently support automated interoperability between ontology-based information systems in distributed environments, we have to design an expressive mapping language to semantically understa...
متن کاملDDL: Embracing Actions into Semantic Web
Service description usually presumes a representation of the world model. The Description Logic (DL) is an efficient way for representing the world model, esp. on Semantic Web, because of its framework, decidable reasoning, and popularity. DL can bring structure to services, but only DL itself is inadequate for modelling dynamic aspect of Web services. In this paper, Dynamic Description Logic (...
متن کاملEmbracing Causality in Inducing the Effects of Actions
The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to be concise and modular, we use a generic action formalism based on causality, that is representable in logic programming. It is relatively simple to induce a description of a dynamic system that suffers from the frame problem. T...
متن کاملA Dynamic Description Logic for Representation and Reasoning About Actions
We present a dynamic description logic for representation and reasoning about actions, with an approach that embrace actions into the description logic ALCO@. With this logic, description logic concepts can be used for describing the state of the world, and the preconditions and effects of atomic actions; Complex actions can be modeled with the help of standard action operators, such as the tes...
متن کاملThe gamut of dynamic logics
Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks and by describing the results of performing actions in given states of the world. The actions studied by dynamic logic can be of various kinds: actions on the memory state of a computer, actions of a moving robot in a closed world, interactions between cognitive agents per...
متن کامل